$\forall$$T$:Type, $L$:$T$ List, $x$:$T$, $i$, $j$:\{1..($\parallel$$L$$\parallel$+1)$^{-}$\}. swap($x$.$L$;$i$;$j$) $=$ ($x$.swap($L$;$i$$-$1;$j$$-$1))